intensional semantics中文是什么意思

• 内涵语意学

• "semantics"中文翻译    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义 ...
• "intensional" 中文翻译 :    内涵的
• "semantics" 中文翻译 :    n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义学派。
• "intensional logic" 中文翻译 :    内含逻辑; 内涵逻辑
• "intensional meaning" 中文翻译 :    含意
• "intensional type" 中文翻译 :    内含类型
• "algebraic semantics" 中文翻译 :    代数语义学
• "axiomatic semantics" 中文翻译 :    公理化语义; 公理语义学
• "body semantics" 中文翻译 :    手势语义学; 体态语义学
• "cartographic semantics" 中文翻译 :    地图语义
• "compositional semantics" 中文翻译 :    成分语义学; 组合语义学
• "computational semantics" 中文翻译 :    计算语意学; 计算语义学
• "database semantics" 中文翻译 :    数据库语义学
• "declarative semantics" 中文翻译 :    宣告语意
• "denotational semantics" 中文翻译 :    标志语意; 标志语义; 完全抽象; 指称语义学
• "deterministic semantics" 中文翻译 :    确定性语义学
• "formal semantics" 中文翻译 :    形式语意学; 形式语义学
• "functional semantics" 中文翻译 :    功能语义
• "game semantics" 中文翻译 :    博弈语义
• "general semantics" 中文翻译 :    【语言学】普通语义学。
• "generative semantics" 中文翻译 :    生成语义学
• "interleaving semantics" 中文翻译 :    交错语义
• "interpretative semantics" 中文翻译 :    解释语义学
• "interpretive semantics" 中文翻译 :    解释语义; 诠释性语意学
• "kripke semantics" 中文翻译 :    kripke语义; 关系语义

• But besides being characterized by the extensional semantics , first - order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities
  相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。